A model for inter-module analysis and optimizing compilation
نویسندگان
چکیده
Abs t r ac t . Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: sepárate compilation of modules is not supported. We describe and empirically evalúate a simple model for extending global program analysis to support sepárate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.
منابع مشابه
Typed Cross - Module
Higher-order modules are very e ective in structuring large programs and de ning generic, reusable software components. Unfortunately, many compilation techniques for the core languages do not work across the module boundaries. As a result, few optimizing compilers support these module facilities well. This paper exploits the semantic property of ML-style modules to support e cient cross-module...
متن کاملSeparate Compilation for
This paper presents the outline of a module system for the Scheme programming language in order to solve several problems commonly encountered with contemporary implementations. These problems include the lack of support for separate compilation and crossmodule type checking as well as the necessity for non-standard language extensions to aid certain compiler optimizations like open compilation...
متن کاملCompilation of causal model of the relationship between academic perfectionism and academic proclivity of medical students: with the role of mediation of emotional self-awareness
Abstract Background and Aims: According to the important role of the psychological variables on students various dimensions of health and academic performance, The purpose of the present study was to Compilation of causal model of the relationship between academic perfectionism and academic proclivity of medical students with the role of mediation of emotional self-awareness. Methods: Correla...
متن کاملSeparate Compilation for Scheme
This paper presents the outline of a module system for the Scheme programming language in order to solve several problems commonly encountered with contemporary implementations. These problems include the lack of support for separate compilation and crossmodule type checking as well as the necessity for non-standard language extensions to aid certain compiler optimizations like open compilation...
متن کامل+ 1 = 1: an Optimizing Caml Compiler
We present a new Caml compiler, which was obtained by an original approach: a simple pipeline between two existing compilers, each one devoted to half of the compilation process. The rst compiler is a Caml compiler, it is in charge of the front end, and ensures compatibility. The second compiler is an optimizing Scheme compiler, it constitutes the back end, and ensures eeciency. These are Caml ...
متن کامل